pub type A Int

fn f(self : A) -> Int {
  0
}